/* Fichier compilé vers C */
{
{
return ILP_Integer2ILP(22) ;
}
;
}
